2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proofs and Algorithms: An Introduction to Logic and Computability
Автор:
Gilles Dowek
Категория:
Математика
,
Прикладная математика
Размер книги: 954 Kb
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
Автор:
Gilles Dowek
, Автор:
Jean-Jacques Lévy
Категория:
Компьютеры
Размер книги: 907 Kb
Introduction to the Theory of Programming Languages
Автор:
Gilles Dowek
, Автор:
Jean-Jacques Lévy
Размер книги: 798 Kb
Les Métamorphoses du calcul: Une étonnante histoire des mathématiques
Автор:
Gilles Dowek
Размер книги: 3.64 Mb
Proofs and Algorithms: An Introduction to Logic and Computability
Автор:
Gilles Dowek
Размер книги: 1.61 Mb
Principles of programming languages
Автор:
Gilles Dowek
Размер книги: 1.95 Mb
Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99
Автор:
Yves Bertot
, Автор:
Gilles Dowek
, Автор:
Andre Hirschowitz
, Автор:
Christine Paulin
, Автор:
Laurent Thery
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.53 Mb
Principles of Programming Languages
Автор:
Gilles Dowek
Категория:
Chemistry-Environmental-Material
Размер книги: 9.72 Mb
Automated Reasoning, 4 conf., IJCAR 2008
Автор:
Alessandro Armando
, Автор:
Peter Baumgartner
, Автор:
Gilles Dowek
Категория:
CsLn_
Размер книги: 6.04 Mb
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Автор:
Gilles Dowek
, Автор:
Jan Heering
, Автор:
Karl Meinke
, Автор:
Bernhard Möller
Размер книги: 2.40 Mb
